# typed: true

case foo; in ::A then true; end
